Results for 'André Guirland Vieira'

999 found
Order:
  1.  38
    A função da história e da cultura na obra de CG Jung.André Guirland Vieira - 2006 - Aletheia: An International Journal of Philosophy 23:89-100.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    Construção e re-construção da identidade nas histórias de vida de adotados.Margarida Rangel Henriques, André Guirland Vieira & Dóris Cristina Gedrat - 2021 - Aletheia 54 (1).
    O objetivo deste estudo é identificar como a adoção aparece nas histórias de vida de indivíduos adotados e como eles normalizam suas experiências relacionadas à adoção. Focaliza-se a re-historiação do “eu” na narrativa e considera-se que o seu final é determinado por quem constrói a narrativa, não por eventos relatados cronologicamente. Os dados provêm das narrativas de dois indivíduos adotados, transcritas segundo convenções utilizadas na Análise da Conversa Etnometodológica, nas quais se destaca a presença dos eventos relacionados à adoção na (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  16
    Embodiment Comfort Levels During Motor Imagery Training Combined With Immersive Virtual Reality in a Spinal Cord Injury Patient.Carla Pais-Vieira, Pedro Gaspar, Demétrio Matos, Leonor Palminha Alves, Bárbara Moreira da Cruz, Maria João Azevedo, Miguel Gago, Tânia Poleri, André Perrotta & Miguel Pais-Vieira - 2022 - Frontiers in Human Neuroscience 16.
    Brain–machine interfaces combining visual, auditory, and tactile feedback have been previously used to generate embodiment experiences during spinal cord injury rehabilitation. It is not known if adding temperature to these modalities can result in discomfort with embodiment experiences. Here, comfort levels with the embodiment experiences were investigated in an intervention that required a chronic pain SCI patient to generate lower limb motor imagery commands in an immersive environment combining visual, auditory, tactile, and thermal feedback. Assessments were made pre-/ post-, throughout (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Relações estéticas, atividade criadora e imaginação: sujeitos e (em) experiência.Silvia Zanatta Da Ros, Kátia Maheirie & Andréa Vieira Zanella (eds.) - 2006 - Florianópolis: Universidade Federal de Santa Catarina, Núcleo de Publicações.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  15
    Clínica e linguagem ou o furo na prática1.Marcus André Vieira - 2009 - Paideia (Misc) 19 (43):267-270.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Para refletir acerca das desigualidades racias no Brasil contemporâneo : eduação e mercado de trabalho.Andres Lopes da Costa Vieira E. José Jairo Vieira - 2010 - In Adriana Severo Rodrigues, Giancarla Brunetto & Márcio Eduardo Brotto (eds.), Os hereges: temas em direitos humanos, ética e diversidade. Armazém Digital.
     
    Export citation  
     
    Bookmark  
  7.  55
    Antônio Vieira: o império do outro mundo e o império deste mundo.André Rocha Cordeiro - 2016 - Horizonte 14 (41):206-212.
    RESENHA: MENEZES, Sezinando Luiz. Antônio Vieira : o império do outro mundo e o império deste mundo. Maringá: Eduem, 2015, 131p.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Retorno da linguagem: breves considerações sobre a linguagem no século XVI a partir da arqueologia de Michel Foucault.Pedro Manenti Vieira da Silva - 2020 - Cadernos PET-Filosofia (Parana) 18 (2).
    O presente trabalho tem como objetivo explicar os mecanismos básicos da linguagem no século XVI, a partir da arqueologia de Michel Foucault. Para tanto, o itinerário a ser percorrido parte de uma breve introdução ao pensamento do autor e do panorama geral do livro, de sua autoria, “As palavras e as coisas: uma arqueologia das ciências humanas”, bem como de suas questões fundamentais. Após, analisar-se-á o capítulo que trata sobre a filosofia do Renascimento, intitulado “A prosa do mundo”, de modo (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Computability and Randomness.André Nies - 2008 - Oxford, England: Oxford University Press.
    Covering the basics as well as recent research results, this book provides a very readable introduction to the exciting interface of computability and ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  10. The ontology of the photographic image.André Bazin - 2010 - In Marc Furstenau (ed.), The film theory reader: debates and arguments. New York: Routledge.
  11.  32
    Does every theory have empirically equivalent rivals?André Kukla - 1996 - Erkenntnis 44 (2):137 - 166.
    The instrumentalist argument from the underdetermination of theories by data runs as follows: (1) every theory has empirically equivalent rivals; (2) the only warrant for believing one theory over another is its possession of a greater measure of empirical virtue; (3) therefore belief in any theory is arbitrary. In this paper, I examine the status of the first premise. Several arguments against the universal availability of empirically equivalent theoretical rivals are criticized, and four algorithms for producing empirically equivalent rivals are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  12. Connaissance de l'individu par les tests.André Rey - 1964 - Les Etudes Philosophiques 19 (3):482-482.
     
    Export citation  
     
    Bookmark   23 citations  
  13.  8
    Non-empirical theoretical virtues and the argument from underdetermination.Andre Kukla - 1994 - Erkenntnis 41 (2):157 - 170.
    The antirealist argument from the underdetermination of theories by data relies on the premise that the empirical content of a theory is the only determinant of its belief-worthiness (premise NN). Several authors have claimed that the antirealist cannot endorse NN, on pain of internal inconsistency. I concede this point. Nevertheless, this refutation of the underdetermination argument fails because there are weaker substitutes for NN that will serve just as well as a premise to the argument. On the other hand, antirealists (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  14.  17
    Reclaiming Representation: Contemporary Advances in the Theory of Political Representation.Mónica Brito Vieira - 2017 - Routledge.
    Representation is integral to the functioning and legitimacy of modern government. Yet political theorists have often been reluctant to engage directly with questions of representation, and empirical political scientists have closed down such questions by making representation synonymous with congruence. Conceptually unproblematic and normatively inert for some, representation has been deemed impossible to pin down analytically and to defend normatively by others. But this is changing. Political theorists are now turning to political representation as a subject worthy of theoretical investigation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  43
    The Nature of Silence and Its Democratic Possibilities.Mónica Brito Vieira, Theo Jung, Sean W. D. Gray & Toby Rollo - 2019 - Contemporary Political Theory 18 (3):424-447.
  16. The evolution of the language of cinema.André Bazin - 2010 - In Marc Furstenau (ed.), The film theory reader: debates and arguments. New York: Routledge.
     
    Export citation  
     
    Bookmark   4 citations  
  17.  29
    Justificatory Moral Pluralism: A Novel Form of Environmental Pragmatism.Andre Santos Campos & Sofia Guedes Vaz - 2021 - Environmental Values 30 (6):737-758.
    Moral reasoning typically informs environmental decision-making by measuring the possible outcomes of policies or actions in light of a preferred ethical theory. This method is subject to many problems. Environmental pragmatism tries to overcome them, but it suffers also from some pitfalls. This paper proposes a new method of environmental pragmatism that avoids the problems of both the traditional method of environmental moral reasoning and of the general versions of environmental pragmatism. We call it 'justificatory moral pluralism' - it develops (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  85
    Do Real Contradictions Belong to Heraclitus’ Conception of Change? The Anti-cognate Internal Object Gives a Sign.Celso Vieira - 2024 - History of Philosophy & Logical Analysis 26 (2):184-206.
    Heraclitus uses paradoxical language to present the relationship between opposites in his worldview. This mode of expression has generated much controversy. Some take the paradoxes as evidence of a contradictory identity of opposites (Barnes), while others propose a dynamic union through transformation without identity that avoids the contradiction (Graham). By examining B88 and B62, I seek to identify the stronger and weaker points of such readings. The contradictory identity reading thwarts the transformation between opposites. The dynamic reading offers a plausible (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    An Essay on Contraction.André Fuhrmann - 1996 - Center for the Study of Language and Inf.
    The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence, but the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined. A sentential version of contraction, subtraction, is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  20. O que é um Objeto para um Lógico?André Porto - 2023 - In Lia Levy, Carolina Araújo, Ethel Menezes Rocha, Markos Klemz Guerrero & Fábio Ferreira de Almeida (eds.), Substância Na História da Filosofia. Pelotas: NEPFil online. pp. 495-512.
    Trata-se de capítulo de um livro sobre a noção de "substância" na história da filosofia e contém uma discussão sobre a noção ordinária de "corpo" do ponto de vista da filosofia analítica.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  5
    Sources of the remarks in wittgenstein'sphilosophical investigations.André Maury - 1994 - Synthese 98 (3):349 - 378.
  22.  25
    Sélection naturelle ou volonté de puissance : comment interpréter le processus de destruction créatrice?André Lapied & Sophie Swaton - 2013 - Revue de Philosophie Économique 14 (2):43-65.
    La délicate mise en rapport de la philosophie nietzschéenne et de l’économie est d’une pratique récente. Dans ce contexte, cet article est motivé par l’introduction du traitement nietzschéen de la « destruction créatrice » en économie et la manière de justifier philosophiquement cette référence. Pour cela, nous mettons en concurrence les interprétations évolutionnistes et nietzschéennes de la destruction créatrice. Ces deux métaphores nous semblent difficilement conciliables et nous avançons des arguments en faveur de la volonté de puissance, contre la lutte (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  63
    Organizational and Job Resources on Employees’ Job Insecurity During the First Wave of COVID-19: The Mediating Effect of Work Engagement.Joana Vieira dos Santos, Sónia P. Gonçalves, Isabel S. Silva, Ana Veloso, Rita Moura & Catarina Brandão - 2022 - Frontiers in Psychology 12.
    The world of work has been severely affected by the COVID-19 pandemic due to the high instability observed in the labor market, bringing several new challenges for leaders and employees. The present study aims to analyze the role of organizational and job resources in predicting employees’ job insecurity during the first wave of the COVID-19 outbreak, through the mediating role of work engagement. A sample of 207 Portuguese employees participated, of which 64.7% were women. Data was collected using an online (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Wittgenstein on Mathematical Advances and Semantical Mutation.André Porto - 2023 - Philósophos.
    The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis profoundly (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  45
    Éthique et justice climatique : entre motivations morales et amorales.Pierre André & Michel Bourban - 2016 - Les ateliers de l'éthique/The Ethics Forum 11 (2-3):4-27.
    Pierre André,Michel Bourban | : Dans un contexte d’urgence, les philosophes ne peuvent plus se contenter d’élaborer des théories idéales de la justice climatique fondées sur des motivations purement morales. Il est désormais nécessaire d’envisager des approches non idéales. Nous proposons ici de prendre au sérieux le problème de la motivation à l’action et nous mettons en avant certains motifs prudentiels pour lutter contre le changement climatique, en vue non pas de remplacer, mais de renforcer les motivations morales existantes, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  17
    Le cycle de la conjoncture chez Schumpeter : éternel retour du même?André Lapied & Sophie Swaton - 2014 - Revue de Philosophie Économique 15 (1):17-47.
    Cet article s’inscrit dans la lignée de précédents travaux visant à rapprocher l’entrepreneur schumpétérien et le surhumain nietzschéen. Les deux partagent une créativité pouvant s’interpréter comme l’extériorisation d’un surcroît de force qui, dans l’optique nietzschéenne, s’assimile à la source extra-morale de l’accroissement de la vie. Reste à savoir si le cadre dans lequel ils évoluent est le même. Au-delà d’une approche historique du cycle de la conjoncture, notre hypothèse est que l’approche philosophique d’un cycle du devenir s’avère être féconde pour (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  3
    Epicurus and his gods.Andre-Jean Festugiere - 1955 - New York,: Russell & Russell.
  28.  9
    André Comte-Sponville.François L'Yvonnet & André Comte-Sponville (eds.) - 2020 - Paris: Éditions de l'Herne.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. A Routine to Develop Inferencing Skills in Primary School Children.Celso Vieira - 2023 - In Marella A. Mancenido-Bolaños, C. Alvarez-Abarejo & L. Marquez (eds.), Cultivating Reasonableness in Education. Springer. pp. 95-117.
    The chapter presents the prototyping of a thinking routine designed to foster good inference habits in children ages 6 to 11. The prototyping was developed at Ninho, an educational project for children from underprivileged households in Brazil. The thinking routines by Ritchhart and colleagues (2006) served as our starting point. Following a Virtue Education (VE) approach, we supposed that the repeated application would conduce to habituation. In addition, to increase peer-to-peer interactions, the teacher applying the routines worked as a facilitator (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  23
    Populism as a logic of political action.Mónica Brito Vieira & Filipe Carreira da Silva - 2019 - European Journal of Social Theory 22 (4):497-512.
    This article offers a new understanding of populism. The argument unfolds as follows: first, the populist literature is reviewed and two main approaches are identified: ontic and logic-oriented, the more important of which is the Schmitt-Laclau logic of enmity. While the authors broadly agree with Laclau’s criticism of ontic approaches, they endorse neither his ontological understanding of enmity, nor his claim that populism is politics, and enmity is the logic of populism. Next, the origins of populism are located in a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  4
    What is surrealism?André Breton - 1936 - London,: Faber & Faber. Edited by David Gascoyne.
    A short analysis, by 'one-who-was-there,' of one of the most significant art movements of our century.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  77
    The Harm Principle as a Mid‐Level Principle? Three Problems From the Context of Infectious Disease Control.André Krom - 2011 - Bioethics 25 (8):437-444.
    Effective infectious disease control may require states to restrict the liberty of individuals. Since preventing harm to others is almost universally accepted as a legitimate (prima facie) reason for restricting the liberty of individuals, it seems plausible to employ a mid‐level harm principle in infectious disease control. Moral practices like infectious disease control support – or even require – a certain level of theory‐modesty. However, employing a mid‐level harm principle in infectious disease control faces at least three problems. First, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  53
    Écriture, prose et les débuts de la philosophie grecque.André Laks - 2001 - Methodos 1 (1):131-151.
    Cet article est disponible en texte intégral en format PDF.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  32
    The origins of the concept of dissociation: Paul Janet, his nephew Pierre, and the problem of post-hypnotic suggestion.André Leblanc - 2001 - History of Science 39 (1):57-69.
  35. Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.
    This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  9
    The individuality of the state in Spinoza's political philosophy.Andre Santos Campos - 2010 - Archiv für Geschichte der Philosophie 92 (1):1-38.
    The place of the State in Spinoza's ontology has emerged in scholarly literature as one of the most complex issues involving Spinoza's political thought. At issue is whether Spinoza's State is an actual individual with its own conatus . Some consider it a completely real individual, others say that its individuality can only be metaphoric, whilst others point out the conceptual insufficiency of this polarity for explaining the ontological status of political aggregates and try to overcome it through new concepts, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. A produção de narrativas digitais: Perspectivas iniciais acerca dos processos de composição.Ana Karoline Saboia de Albuquerque & Iúta Lerche Vieira - 2011 - Quaestio: Revista de Estudos Em Educação 13 (2):p - 127.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  8
    Cartesian or condillacian linguistics?André Joly - 1985 - Topoi 4 (2):145-149.
    This paper intends to deal with Condillacian Linguistics. Although the Condillacian philosophy of mind and analysis of language were the most important in the late eighteenth century, none of them is mentioned in Chomsky's work (1966, Cartesian Linguistics). It would be useful for the history of Western thought if Chomsky's monumental error were generally recognized and if Condillacian Linguistics were at last to find the place it rightly deserves. The main thesis of Condillac's linguistic ideas (language is the first step (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  20
    Evolving probability.André Kukla - 1990 - Philosophical Studies 59 (2):213 - 224.
  40. Como usar a linguagem para precisar o movimento: uma disputa entre Platão e Heráclito.Celso Oliveira Vieira - 2015 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 15:97-104.
    A proposta do texto é delinear como Heráclito e Platão lidaram com o problema de usar a linguagem para falar do movimento. A perspectiva ontológica de que eles partem é quase oposta. Heráclito vê o mundo como movimento contínuo enquanto, para Platão, o que está em movimento participa, em alguma medida, das Ideias estáticas. É deste ponto de vista que no Teeteto Sócrates encarrega os Heraclitianos de criarem um novo discurso caso queiram falar da sua concepção de mundo. A observação (...)
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  41.  18
    Silence in political theory and practice.Mónica Brito Vieira - 2021 - Critical Review of International Social and Political Philosophy 24 (3):289-295.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  32
    Incumbent Stakeholder Management Performance and New Entry.André Laplume, Kent Walker, Zhou Zhang & Xin Yu - 2020 - Journal of Business Ethics 174 (3):629-644.
    Instrumental stakeholder theory seeks to explain how managing stakeholders effectively can yield competitive advantage for incumbent firms. We extend instrumental stakeholder theory to explain and predict future competition operationalized as new entrepreneurial entries. Our study is among the first to empirically examine the relationships between aggregate stakeholder management performance and the entrepreneurial entries of individuals. Using a combined U.S. dataset from 2003 to 2013 from the Kinder, Lydenberg and Domini Index, Compustat, and Kauffman’s Entrepreneurship Survey, we find support for three (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  11
    Eine Theorie der vernünftigen Übereinkunft: Zur Grundlegung des moralphilosophischen Kontraktualismus.André Olbrich - 2017 - Bielefeld: transcript Verlag.
    Mit seiner Theorie der vernünftigen Übereinkunft liefert André Olbrich die Grundlegung eines Kriteriums für moralische Urteile über richtig und falsch: Im Anschluss an klassische und moderne Vertragstheoretiker wird die Akzeptanz eines Urteils durch die Betroffenen zum obersten Rechtfertigungsmaßstab erhoben. Das vertragstheoretische Denken wird weiterentwickelt und konsequent als umfassende normative Theorie ausformuliert. Die Leserinnen und Leser erfahren, von welchem Standpunkt aus sich die Regeln unseres sozialen Miteinanders einer Kritik unterziehen lassen und auf welchen moralischen Grundlagen Recht und Politik aufbauen.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  21
    La structure du système hégélien.André Léonard - 1971 - Revue Philosophique De Louvain 69 (4):495-524.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  10
    Laguerre approximation of random foams.André Liebscher - 2015 - Philosophical Magazine 95 (25):2777-2792.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  2
    Gemeinsame Welt denken: Bedingungen interkultureller Koexistenz bei Jürgen Habermas und Eilert Herms.André Munzinger - 2015 - Tübingen: Mohr Siebeck.
    A. Selbstverortung: Der hermssche Blick auf andere Religionen -- b. Öffnung zu Anderen: Das Problem geschlossener Rationalitätsformen -- ii. Einheit in der Vielfalt. Die interpretative Vernunft -- III. 3.C. Schlussfolgerungen. Bildung der Weltanschauungen -- IV. Ergebnisse und Ausblicke -- IV. 1. Perspektiven des Theorievergleichs -- IV. 1.A. Eine 'Topik der Verständigung' - als Struktur der Forschungsfragen -- IV. 1.B. Vernunft und Religion als komplementäre Konkurrenz -- IV. 2. Möglichkeiten interkultureller Koexistenz -- IV. 2.A. Evangelischer Glaube im Horizont des globalen Wandels (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. As dizimas periódicas na filosofia da matemática de Wittgenstein.André Porto - 2003 - Philósophos - Revista de Filosofia 8 (2).
    O presente artigo tem como tema as extensas discussões de Wittgenstein sobre uma das formas mais simples e elementares de infinitude em matemática: as dízimas periódicas. Tentamos organizar os vários argumentos do autor em uma única exposição continuada. No final do artigo, introduzimos, ainda que de forma breve, o famoso argumento sobre “execução de regras” de Wittgenstein, bem como a idéia de interpretações nãostandard de processos infinitos.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Considerações sobre a Noção Construtiva de Verdade.André Porto & Luiz Carlos Pereira - 2003 - O Que Nos Faz Pensar 17:107-123.
    This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Uma sociedade juxta jotum naturare ou um corporativismo incompleto?Jessie Jane Vieira de Sousa - 2006 - Topoi 7 (13):424-444.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  95
    A Concepção Estândar de Prova e o Problema de Kant.André Porto - 2021 - In Gisele Secco (ed.), De Mathematicae atque Philosophiae Elegantia. College Publications. pp. 150-168.
    The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999